#include "vga.h"
#include "string.h"

void kernel_start(void) {
	// Aca empieza la magia
	
	print_str("HOLA!", VGA_FG_WHITE | VGA_CHAR_BLINK , 11, 8);
	
	print_str("123456789", VGA_FG_WHITE | VGA_CHAR_BLINK , 77, 8);

	print_int(10, VGA_FG_WHITE | VGA_CHAR_BLINK , 11, 9);
 

}
